Analyse mathématique et regard didactique sur les formules de Taylor en vue d’une meilleure conceptualisation

Etat actuel de nos connaissance sur les Theilerioses (Gonderioses) et l'aspect de ces maladies en Iran

Etat actuel de nos connaissances sur les Maladies parasitaires les plus importantès en Iran et Lùtte contre ces Maladies

Différentiation automatique et formes de Taylor en analyse statique de programmes numériques

Résumé Des travaux récents sur l’analyse statique de programmes numériques ont montré que les techniques d’interprétation abstraite étaient adaptées à la validation de la précision des calculs en arithmétique flottante. L’utilisation des intervalles comme domaine numérique, même avec des méthodes de subdivision, induit une sur-approximation des résultats en particulier par l’existence de l’effe...

Interaction entre math\'ematique et informatique Libre/Open Source par le logiciel math\'ematique

RÉSUMÉ.— Cet article porte sur l'application du modèle de développement et l'ouverture du code source, disponible et mis en oeuvre par les Logiciels Libres et Open Sources (LL/OS) à la didactique et l'enseignement a la fois des mathé-matiques et l'informatique par la lecture-écriture (L/E) de logiciel mathématique, dont les cas les plus connus sont le calcul numérique et formel. L'article analy...

Analyse en norme Lp de l'algorithme d'itérations sur les valeurs avec approximations

HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau...